a new binary decision diagram device and circuit 一种新型二元判定图器件和电路
the study of ordered binary decision diagram and its constructing arithmetic 有序二叉判定图及其构造算法研究
binary decision diagram minimization algorithm based on genetic tabu hybrid strategy 基于遗传禁忌混合策略的二叉判定图最小化算法研究
1996, 143 : 205-212.5 purwar s . an efficient method of computing generalized reed-muller expansions from binary decision diagram . in ieee trans 本文提出了将逻辑函数表示成真值矢量,用提出的积收缩,通用和收缩,消去和分解算符来收缩真值矢量的算法。
an active fta constructing method, qualitative and quantitative as well as module analysis of fta based on binary decision diagram ( bdd ) was researched in this thesis 本文研究了动态建造故障树的方法,以及基于bdd的故障树定性分析、定量分析和模块分析方法。